Specifying Communicative Multi-Agent Systems
نویسندگان
چکیده
In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the world and on the mental states of agents; and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in [7] to allow the specifications to mention agents’ goals explicitly. The framework presented here allows the behavior of different agents to be specified at different levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system.
منابع مشابه
A Specification Language for Agents Observable Behavior
One of the main issues in the engineering of multi-agent systems is to give a precise semantics to agent communicative acts, by specifying how agent interactions with the environment affect and are affected by the agent inner status – namely, by the decisions it takes and by its perception of the world. In this paper, we tackle this problem by modelling agents as observable sources, that is, as...
متن کاملSpecifying and verifying interaction protocols in a temporal action logic
In this paper we develop a logical framework for specifying and verifying systems of communicating agents and interaction protocols. The framework is based on Dynamic Linear Time Temporal Logic (DLTL), which extends LTL by strengthening the until operator by indexing it with the regular programs of dynamic logic. The framework provides a simple formalization of the communicative actions in term...
متن کاملIntegrating Joint Intention Theory, Belief Reasoning, and Communicative Action for Generating Team-Oriented Dialogue
The goal of this research is to develop an architecture that can guide an agent during collaborative teamwork. The architecture should generate communication and dialogue during the performance of collaborative multi-agent tasks as a byproduct of the agent’s rationally pursuing its intentions. This paper describes how a joint intention interpreter that is integrated with a reasoner over beliefs...
متن کاملAgents that speak: modelling communicative plans and information sources in a logic of announcements
We present a modal logic of belief and announcements in a multi-agent setting. This logic allows to express not only that ψ holds after the announcement of φ as in standard public announcement logic (PAL), but also that the announcement of φ occurs. We use the logic to provide a formal analysis of several concepts that are relevant for multi-agent systems (MAS) theory and applications: the noti...
متن کاملAuton Agent Multi-Agent Syst Multi-Agent Role Allocation: Issues, Approaches, and Multiple Perspectives
In cooperative multi-agent systems, roles are used as a design concept when creating large systems, they are known to facilitate specialization of agents, and they can help to reduce interference in multi-robot domains. The types of tasks that the agents are asked to solve and the communicative capabilities of the agents significantly affect the way roles are used in cooperative multi-agent sys...
متن کامل